widget: Fix margin-start and margin-end properties

The margin-start and margin-end properties were incorrectly
defined, so margins weren't respected for RTL languages.

https://bugzilla.gnome.org/show_bug.cgi?id=723627

diff --git a/gtk/gtkwidget.c b/gtk/gtkwidget.c
index d9fd94769ebdc40fe9fe5778921814ad3a1ddea6..f1776fb6e919e5e705c99add09232f0ba85c19fc 100644 (file)
--- a/gtk/gtkwidget.c
+++ b/gtk/gtkwidget.c
@@ -1434,7 +1434,7 @@ G_GNUC_END_IGNORE_DEPRECATIONS
    * Since: 3.12
    */
   g_object_class_install_property (gobject_class,
-                                   PROP_MARGIN_LEFT,
+                                   PROP_MARGIN_START,
                                    g_param_spec_int ("margin-start",
                                                      P_("Margin on Start"),
                                                      P_("Pixels of extra space on the start"),
@@ -1455,7 +1455,7 @@ G_GNUC_END_IGNORE_DEPRECATIONS
    * Since: 3.12
    */
   g_object_class_install_property (gobject_class,
-                                   PROP_MARGIN_RIGHT,
+                                   PROP_MARGIN_END,
                                    g_param_spec_int ("margin-end",
                                                      P_("Margin on End"),
                                                      P_("Pixels of extra space on the end"),